mathematic logic造句

例句与造句

1. as is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems . it can be efficiently applied to the rule's organization and inference
   作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
2. It's difficult to find mathematic logic in a sentence. 用mathematic logic造句挺难的